2025

研究会・全国大会等

[1] 井上 蒼士, 西浦 生成, 水野 修, "大規模言語モデルを用いたGit コミットメッセージ自動生成の評価の試み", 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025), 227−228, 2025年11月. (松山市)

受賞

[1] 井上 蒼士, 西浦 生成, 水野 修, "[優秀発表賞] 大規模言語モデルを用いたGit コミットメッセージ自動生成の評価の試み", 第32回ソフトウェア工学の基礎ワークショップ(FOSE2025), 2025年11月.

2024

国際会議(査読付)

[1] Soshi Inoue, Eunjong Choi, Kinari Nishiura, and Osamu Mizuno, "Analyzing the Impact of Formal Methods on Isuue Trends Using BERTopic", Proc. of 22nd International Conference on Software Engineering Research, Management and Applications (SERA2024), May 2024. (Honolulu, HI, USA)

国内会議(査読付)

[1] 井上 蒼士, 崔 恩瀞, 西浦 生成, 水野 修, "形式手法による開発において報告された問題のトピックモデルによる分析", ソフトウェア・シンポジウム2024論文集, pp. 122-130, 2024年6月. (長崎市)

学位論文

[1] 井上 蒼士, "形式検証されたソフトウェアに対して報告された問題のトピックモデルによる傾向調査",    卒業研究報告書, 京都工芸繊維大学, 2024年.